module PrintNat where

import PreludeShow
open PreludeShow

mainS = showNat 42
